From Causal Theories to Logic Programs (Sometimes)
نویسندگان
چکیده
In this paper, we shall provide a translation of a class of causal theories in (Lin 3]) to Gelfond and Lifschitz's disjunctive logic programs with classical negation 1]. We found this translation interesting for at least the following two reasons: it provides a basis on which a wide class of causal theories in ((3]) can be computed; and it sheds some new lights on the nature of the causal theories in 3]. Our translation is in many ways similar to the one given in 9, 2]. Our main result is a theorem that shows how action precondition and fully instantiated successor state axioms can be computed from the answer sets of the translated logic program.
منابع مشابه
Characterizing Causal Action Theories and Their Implementations in Answer Set Programming: Action Languages B, C, and Beyond
We consider a simple language for writing causal action theories, and postulate several properties for the state transition models of these theories. We then consider some possible embeddings of these causal action theories in some other action formalisms, and their implementations in logic programs with answer set semantics. In particular, we propose to consider what we call permissible transl...
متن کاملRepresenting first-order causal theories by logic programs
Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner, became a basis for the semantics of several expressive action languages. McCain’s embedding of definite propositional causal theories into logic programming paved the way to the use of answer set solvers for answering queries about actions described in such languages. In this paper we extend this embedding to nondefinite ...
متن کاملr Nonmo otonic Reasoning
C~vscsl theories are default theories which explicitly accommodate a distinction between ‘explained’ and ‘unexplained’ propositions. This is accomplished by means of an operator ‘C’ in the language for which propositions a! are assumed explained when literals of the form Car hold. The behavior of causal theories is determined by a preference relation on models based on the minimization of unexp...
متن کاملA Causal Logic of Logic Programming
The causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is argued that any logic program can be seen as a causal theory satisfying the Negation As Default principle (alias Closed World Assumption). Moreover, unlike well-known translations of logic programs to other nonmonotonic formalisms, the established correspondence between l...
متن کاملCausal Theories as Logic Programs
We show how we can rewrite any causal theory — under the semantics of causal logic due to McCain and Turner — as a logic program in the answer set semantics. Using this translation the models of any causal theory can be computed using answer set solvers.
متن کامل